#include<stdio.h>

int main()
{
	int n,flag=1,sum=0;
	scanf("%d",&n);
	do{
		sum+=flag;
		flag++;
	}while(flag<=n);
	printf("%d",sum);
	return 0;
}
